The generator matrix 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 0 1 1 0 1 1 0 X X+1 1 X+1 1 0 0 0 X 0 0 X 0 0 0 0 0 0 X X X 0 X 0 X 0 0 0 X 0 0 0 X 0 X 0 X 0 X X 0 0 0 0 0 X 0 0 0 X 0 X X 0 0 X X 0 0 0 0 0 X 0 0 X X 0 X X X 0 0 0 0 0 0 0 0 X X X X 0 0 X X X X generates a code of length 16 over Z2[X]/(X^2) who´s minimum homogenous weight is 12. Homogenous weight enumerator: w(x)=1x^0+92x^12+64x^14+205x^16+64x^18+76x^20+10x^24 The gray image is a linear code over GF(2) with n=32, k=9 and d=12. As d=12 is an upper bound for linear (32,9,2)-codes, this code is optimal over Z2[X]/(X^2) for dimension 9. This code was found by Heurico 1.16 in 0.0699 seconds.